00100	(DE PATH (SOFAR LEFT) (COND ((NULL LEFT) (QUOTE LOSE))
00200	((ISWIN (CAR LEFT)) (REV SOFAR (LIST (CAR LEFT))))
00300	((OR (ISLOSE (CAR LEFT)) (MEMBER (CAR LEFT) SOFAR))
00400	(PATH SOFAR (CDR LEFT)))
00500	(T ((LAMBDA (W) (COND ((EQ W (QUOTE LOSE))
00600	(PATH SOFAR (CDR LEFT))) (T W))) (PATH (CONS (CAR LEFT) SOFAR)
00700	(SUCCESSORS (CAR LEFT)))))))
00800	
00900	(DE REV (U V) (COND ((NULL U) V) (T (REV (CDR U) (CONS
01000	(CAR U) V)))))
01100